Calculi for Interactive Systems: Theory and Experiment
نویسندگان
چکیده
The objectives of the project were, briefly: (1) To study and design a foundational calculus and prototype programming language, based on the π-calculus, for describing and analysing migratory distributed systems; (2) To further develop the theory of action calculi, a graphical formalisation of interactive systems, to compare disciplines and study common concepts; (3) To test this framework upon existing and new calculi.
منابع مشابه
A Novel Interactive Possibilistic Mixed Integer Nonlinear Model for Cellular Manufacturing Problem under Uncertainty
Elaborating an appropriate cellular manufacturing system (CMS) could solve many structural and operational issues. Thereby, considering some significant factors as worker skill, machine hardness, and product quality levels could assist the companies in current competitive environment. This paper proposes a novel interactive possibilistic mixed integer nonlinear approach to minimize the total co...
متن کاملInformation Flow Security for Interactive Systems
The use of the Internet raises serious behavioural issues regarding, for example, security and the interaction among agents that may travel across links. Model-building such interactive systems is one of the biggest current challenges in computer science. A general model, action calculi, has been introduced by Robin Milner to unify the various emerging disciplines of interactive behaviour. In t...
متن کاملInteractive Art Analysis Based on Baudrillard’s Hyper reality Theory, a Case Study of Digital Interactive installation
The contemporary philosopher Jean Baudrillard, one of the postmodernism theorists, considers representation in the contemporary world as a factor in the disappearance of reality. In his view, the main feature of new arts is not the expression of artistic beauty, but communication with the audience and expression of the artist’s ideas. In interactive art, the presence and role of the audience in...
متن کاملPreventive effects of the aqueous extract of Cichorium intybus L. flower on ethylene glycol-induced renal calculi in rats
Objective: Urolithiasis remains a global problem. Despite the availability of numerous methods, no definite therapeutic agent has been yet introduced for the prevention or treatment of kidney stones. In this study, we evaluated the possible preventive effects of aqueous extract of Cichorium intybus L. (chicory) flowers on ethylene glycol-induced renal calculi in rats. Materials and Methods: A t...
متن کاملApplications of Proof Theory to Isabelle
Isabelle [3, 4] is a generic theorem prover. It suppports interactive proof in several formal systems, including first-order logic (intuitionistic and classical), higher-order logic, Martin-Löf type theory, and Zermelo-Fraenkel set theory. New logics can be introduced by specifying their syntax and rules of inference. Both natural deduction and sequent calculi are allowed. Isabelle’s approach i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001